void pic_remap(int offset1, int offset2);
void pic_init();
